翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Stathis K. Zachos : ウィキペディア英語版
Stathis Zachos
Stathis K. Zachos ((ギリシア語:Στάθης (Ευστάθιος) Ζάχος); born 1947, Athens) is a mathematician, logician and theoretical computer scientist.
==Biography==

Zachos received his PhD from the ETHZ (Swiss Federal Institute of Technology Zurich) in Mathematics (and Computer Science), 1978. He has held the posts of professor in Computer Science at UCSB, CUNY and NTUA and Adjunct professor at ETHZ. He has worked as a researcher at MIT, Brown-Boveri.
Stathis has published research papers in several areas of Computer Science. His work on Randomized Complexity Classes, Arthur–Merlin Games, and Interactive Proof Systems has been very influential in proving important theorems and is cited in main textbooks of computational complexity. One of his important contributions, using Interactive Proof Systems and Probabilistic Quantifiers, is that the Graph isomorphism Problem is not likely to be NP-complete (joint with R. Boppana, J. Hastad). Graph Isomorphism is one of the very few celebrated problems in NP that have not been shown yet to be either NP-Complete or in P. Zachos's most influential work was introducing and proving properties of the class Parity-P (with Christos Papadimitriou). He also introduced Probabilistic Quantifiers and Alternations of Probabilistic Quantifiers to uniformly describe various Complexity Classes as well as Interactive Proof Systems and Probabilistic Games.
His current interests include Probabilistic and Functional Complexity Classes, Combinatory Algebras as a foundation to Theory of Computations, the interconnections of Cryptographic Techniques and Computational Complexity as well as Algorithms for Graph Problems. He has co-organized International Conferences: STOC '87 (and programming committee of STOC '01), ICALP, CiE (Computability in Europe), PLS, ASL (Association for Symbolic Logic) European Summer Meeting, ACAC (Athens Colloquium on Algorithms and Complexity) and NYCAC (New York Colloquium on Algorithms and Complexity). He has guided more than twenty doctoral students and more than fifty M.Sc./Diploma students, many of which have positions in Universities and research centers worldwide.
He is the brother of theoretical physicist Cosmas Zachos.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Stathis Zachos」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.